derivative proof